Equivalence Relation questions